NP proof system